Tuning Temporal Features within the Stochastic π-Calculus
نویسندگان
چکیده
منابع مشابه
Tuning Temporal Features within the Stochastic π-Calculus
The stochastic π-calculus is a formalism that have been shown of interest for modelling systems where the stochasticity and the delay of transitions are important features, such as the biochemical reactions. Commonly, duration of transitions within stochastic π-calculus models follow an exponential random variable. Underlying dynamics of such distributed models are expressed in terms of continu...
متن کاملA Stochastic Broadcast π-Calculus
In this paper we propose a stochastic broadcast π-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since...
متن کاملSpatial extension of stochastic π calculus
We introduce a spatial extension of stochastic π-calculus that provides a formalism to model systems of discrete, connected locations. We define the extended stochastic semantics and also give deterministic semantics in terms of a system of ordinary differential equations. We describe two simple examples, one based on a standard epidemic model and one modelling resistance in plant tissues.
متن کاملHybrid Semantics for Stochastic π-calculus
We put forward a method to map stochastic π-calculus processes in chemical ground form into hybrid automata, a class of dynamical systems with both discrete and continuous evolution. The key ingredient is the separation of control and molecular terms, which turns out to be related to the conservation properties of the system.
متن کاملThe λ-calculus in the π-calculus
Mathematical Structures in Computer Science / Volume 21 / Issue 05 / October 2011, pp 943 996 DOI: 10.1017/S0960129511000260, Published online: 19 May 2011 Link to this article: http://journals.cambridge.org/abstract_S0960129511000260 How to cite this article: XIAOJUAN CAI and YUXI FU (2011). The λ-calculus in the π-calculus. Mathematical Structures in Computer Science, 21, pp 943-996 doi:10.10...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2011
ISSN: 0098-5589
DOI: 10.1109/tse.2010.95